Connection-Based Proof Construction in Linear Logic C. Kreitz1 1 2

Source URL: www.jens-otten.de

Curry-Howard for GUIs: classical linear linear temporal logic (work in progress!) Steve Zdancewic Jennifer Paykin

Source URL: www.cs.ox.ac.uk

Connection-Based Proof Construction in Linear Logic C. Kreitz1 1 2

Source URL: www.cs.uni-potsdam.de

Commun. Math. PhysDigital Object Identifier (DOIs00220x Communications in Mathematical

Source URL: math.rutgers.edu

• Mathematical analysis
• Operator theory
• Physics
• Theoretical physics
• Quantum mechanics
• Operator
• Distribution
• Probability current
• Constructible universe
• De BroglieBohm theory
• Linear temporal logic
• Spectral theory of ordinary differential equations

Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University

Source URL: popl-obt-2014.cs.brown.edu

• Logic
• Visual arts
• Abstraction
• Programming paradigms
• Non-classical logic
• Formal languages
• Grammar
• Logic in computer science
• Generative art
• Logic programming
• Linear logic
• Generative music

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation TABLEAUX-2013 Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco

Source URL: tableaux13.loria.fr

A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari Be

Source URL: www.qatar.cmu.edu

• Linear temporal logic
• Temporal logic

linTAP : A Tableau Prover for Linear Logic Heiko Mantel1 Jens Otten2 1

Source URL: www.jens-otten.de

linTAP : A Tableau Prover for Linear Logic Heiko Mantel1 Jens Otten2 1

Source URL: www.cs.uni-potsdam.de

Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang 13 Dec 2007 Lucas Dixon

Source URL: homepages.inf.ed.ac.uk